(POINTER): Always use char *.

diff --git a/src/ralloc.c b/src/ralloc.c
index e5860a1d78468d1152f3214667c4acf9b408dea8..a8ab0754268740cf8a92e7dd8ca3f7421fe09dfe 100644 (file)
--- a/src/ralloc.c
+++ b/src/ralloc.c
@@ -33,6 +33,7 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
 /* The important properties of this type are that 1) it's a pointer, and
    2) arithmetic on it should work as if the size of the object pointed
    to has a size of 1.  */
+#if 0 /* Arithmetic on void* is a GCC extension.  */
 #ifdef __STDC__
 typedef void *POINTER;
 #else
@@ -44,6 +45,10 @@ typedef void *POINTER;
 typedef char *POINTER;
 
 #endif
+#endif /* 0 */
+
+/* Unconditionally use char * for this.  */
+typedef char *POINTER;
 
 typedef unsigned long SIZE;